1. FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
Author: Jeannette M. Wing, Jim Woodcock, Jim Davies )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Application software -- Development
Classification :
QA
76
.
L28
Vol
.
1708-1709
2. Formal methods and hybrid real-time systems
Author: Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Bj▓rner, D., (Dines), 1937-,Chaochen, Zhou,Formal methods (Computer science), Congresses,Real-time data processing, Congresses
Classification :
QA
،
76
.
9
،.
F67
,
F525
،
2007
3. Formal methods and hybrid real-time systems
Author: / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Bj�rner, D.--(Dines),--1937,Chaochen, Zhou.,Formal methods (Computer science)--Congresses,Real-time data processing--Congresses
Classification :
QA
,
76
.
9
,.
F67
,
F525
,
2007
4. Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings
Author: Jin Song Dong, Jim Woodcock )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
Classification :
QA
76
.
L28
Vol
.
2885
5. ICTAC 2010تTheoretical Aspects of Computing
Author: / Claude Gaudel, Jim Woodcock-Ana Cavalcanti, David Deharbe, Marie
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS&COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
6. ICTAC 2013تTheoretical Aspects of Computing
Author: / Zhiming Liu, Jim Woodcock, Huibiao Zhu
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
7. 3, 2010. Proceedings- ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1ع۰بTheoretical Aspects of Computing
Author: / Claude Gaudel, Jim Woodcock (eds.)-Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)&COMPUTER SCIENCE
Classification :
E-BOOK
8. Software engineering mathematics
Author: Woodcock, Jim
Library: Central library and information center (Khorasan Razavi)
Subject: Mathematics ، Software engineering
Classification :
QA
76
.
758
.
W66
1988
9. Software engineering mathematics
Author: Jim Woodcock, Martin Loomes.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering-- Mathematics.
10. Theoretical aspects of computing
Author: / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing--Congresses,Information theory--Congresses
Classification :
QA
,
75
.
5
,.
I135
,
2007
11. Theoretical aspects of computing -- ICTAC 2013 :
Author: Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
12. Theories of Programming and Formal Methods
Author: / Zhiming Liu, Jim Woodcock, Huibiao Zhu
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
13. Unifying Theories of Programming and Formal Engineering Methods
Author: / Zhiming Liu, Jim Woodcock, Huibiao Zhu
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
14. Verified software
Author: [edited by]& Bertrand Meyer, Jim Woodcock
Library: Central Library and Information Center of Shahed University (Tehran)
Subject:
